Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
931	Partial Functions Approaches An Introduction to the Logic of Partial Functions Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Semantics Model theory Boolean algebra Formal methods Computability theory Interpretation Truth table First-order logic Vienna Development Method Mathematical logic Mathematics Logic
932	A First-Order Theory of Communication Multi-Agent Plans: Appendix B Leora Morgenstern IBM Watson Labs Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-03-06 13:46:11 Logical consequence Logical syntax Metalogic S0 Logic Deduction Entailment
933	CCST9017 Hidden Order in Daily Life: A Mathematical Perspective Lecture 8 Add to Reading List Source URL: hkumath.hku.hk Language: English - Date: 2014-11-18 19:28:55 Probability interpretations Bayesian probability Expected value Event Probability space Negative probability Probability theory Probability Statistics
934	The co-originality of human rights and democracy in an international order Johan Karlsson Schaffer Accepted for publication by International Theory. Abstract: Add to Reading List Source URL: www.jus.uio.no Language: English Pragmatics Sociology Critical theorists Philosophy of language Integral theory Jürgen Habermas Discourse ethics Communicative rationality Human rights Social philosophy Philosophy Academia
935	Microsoft Word - The Local Government _Community Planning Partners_ Order _Northern Ireland_EqIA Screening Add to Reading List Source URL: www.doeni.gov.uk Language: English - Date: 2015-04-28 10:26:32 Screening Politics Medicine Evaluation Decision theory Government Policy
936	A HIGH-ORDER ACCURATE ACCELERATED DIRECT SOLVER FOR ACOUSTIC SCATTERING FROM SURFACES JAMES BREMER‡,§ , ADRIANNA GILLMAN∗ , AND PER-GUNNAR MARTINSSON† Abstract. We describe an accelerated direct solver for the int Add to Reading List Source URL: www.math.ucdavis.edu Language: English - Date: 2015-01-03 20:55:56 Numerical analysis Functional analysis Numerical integration Linear algebra Matrix theory Discretization Matrix Gaussian quadrature Helmholtz equation Mathematics Algebra Mathematical analysis
937	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Function Model theory Linear temporal logic Μ operator Logic Mathematics Mathematical logic
938	Open Multi-Agent Systems: Agent Communication and Integration Rogier M. van Eijk, Frank S. de Boer, Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1999-06-11 10:44:36 Universal algebra Model theory Logic programming Abstract algebra Arity Term Structure First-order logic Mathematics Mathematical logic Logic
939	Algorithms Appendix I: Proof by Induction [Fa’13] Jeder Genießende meint, dem Baume habe es an der Frucht gelegen; aber ihm lag am Samen. Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:03:27 Integer sequences Division Modular arithmetic Mathematical induction Divisor Prime number Mathematical proof Order Fundamental theorem of arithmetic Mathematics Mathematical logic Number theory
940	Message Passing Inference for Large Scale Graphical Models with High Order Potentials Jian Zhang ETH Zurich Add to Reading List Source URL: papers.nips.cc Language: English - Date: 2015-01-20 15:33:02 Graph theory Image processing Theoretical computer science Belief propagation Coding theory Probability theory Segmentation Inference Factor graph Logic Graphical models Mathematics

UPDATE